ar X iv : 1 41 1 . 43 80 v 3 [ cs . L O ] 2 8 Ja n 20 15 An infinitary model of linear logic
نویسندگان
چکیده
In this paper, we construct an infinitary variant of the relational model of linear logic, where the exponential modality is interpreted as the set of finite or countable multisets. We explain how to interpret in this model the fixpoint operator Y as a Conway operator alternatively defined in an inductive or a coinductive way. We then extend the relational semantics with a notion of color or priority in the sense of parity games. This extension enables us to define a new fixpoint operator Y combining both inductive and coinductive policies. We conclude the paper by mentionning a connection between the resulting model of λ-calculus with recursion and higher-order model-checking.
منابع مشابه
ar X iv : 0 80 9 . 20 61 v 3 [ cs . L O ] 1 5 Ja n 20 09 Weyl ’ s Predicative Classical Mathematics as a Logic - Enriched Type Theory
We construct a logic-enriched type theory LTTw that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTw, including Weyl’s definition of the cardinality of a set and several results from real analysis, using the proof assistant Plastic that implements the logical framework LF. This case study sh...
متن کاملar X iv : 0 80 1 . 35 64 v 1 [ as tr o - ph ] 2 3 Ja n 20 08 Local Phase Space - Shaped by Chaos ?
متن کامل
ar X iv : g r - qc / 9 80 10 41 v 1 1 3 Ja n 19 98 MULTIDIMENSIONAL GRAVITY WITH P - BRANES
1 The model We consider the model governed by the action
متن کاملAn economic production quantity model with random yield subject to process compressibility
E. Noorollahi et al. / Mathematical and Computer Modelling 56 (2012) 80–96 81 Ta bl e 1 A co m pa ra tiv e an al ys is of th e lit er at ur e. Au th or s N o. pr od uc ts Ty pe of de fe ct iv es Ty pe of re w or ki ng Ty pe of in sp ec tio n Ty pe of ba ck lo g Si ng le M ul tip le N o de fe ct iv e Re w or ka bl e Sc ra pe s N ot al lo w ed Im pe rf ec tP er fe ct N ot us ed Sa m pl in g 10 0%...
متن کامل